On “Well-Ordered” Aggregates
نویسندگان
چکیده
منابع مشابه
Ordered Completion for Logic Programs with Aggregates
Article history: Received 7 August 2013 Received in revised form 16 March 2015 Accepted 21 March 2015 Available online 25 March 2015
متن کاملProjectively Well-Ordered Inner Models
We show that the reals in the minimal iterable inner model having n Woodin cardinals are precisely those which are A,‘+ 2 definable from some countable ordinal. (One direction here is due to Hugh Woodin.) It follows that this model satisfies “There is a A.‘+2 well-order of the reals”. We also describe some other connections between the descriptive set theory of projective sets and inner models ...
متن کاملFrom Well-Quasi-Ordered Sets to Better-Quasi-Ordered Sets
We consider conditions which force a well-quasi-ordered poset (wqo) to be betterquasi-ordered (bqo). In particular we obtain that if a poset P is wqo and the set Sω(P ) of strictly increasing sequences of elements of P is bqo under domination, then P is bqo. As a consequence, we get the same conclusion if Sω(P ) is replaced by J (P ), the collection of non-principal ideals of P , or by AM(P ), ...
متن کاملPoset algebras over well quasi-ordered posets
A new class of partial order-types, class G bqo is defined and investigated here. A poset P is in the class G bqo iff the poset algebra F (P ) is generated by a better quasi-order G that is included in L(P ). The free Boolean algebra F (P ) and its free distrivutive lattice L(P ) were defined in [ABKR]. The free Boolean algebra F (P ) contains the partial order P and is generated by it: F (P ) ...
متن کاملPartially Well-Ordered Closed Sets of Permutations
It is known that the \pattern containment" order on permutations is not a partial well-order. Nevertheless, many naturally de ned subsets of permutations are partially well-ordered, in which case they have a strong nite basis property. Several classes are proved to be partially well-ordered under pattern containment. Conversely, a number of new antichains are exhibited that give some insight as...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the London Mathematical Society
سال: 1907
ISSN: 0024-6115
DOI: 10.1112/plms/s2-4.1.18